プロセス代数とその応用⑦ ACP:A Common-sense on tiP